package at.ptasat.solver.thread;

import java.io.OutputStream;

import at.ptasat.solver.AsyncSolver;
import at.ptasat.solver.AsyncSolverFactory;
import at.ptasat.solver.AsyncSolverListener;

public class AsyncThreadSolverFactory extends AsyncSolverFactory {

	private int id;

	{
		id = 0;
	}

	@Override
	public String getName() {
		return "threads";
	}

	@Override
	public AsyncSolver create(AsyncSolverListener listener, OutputStream out, OutputStream err, String arguments) {
		return new AsyncThreadSolver(id++, listener, out, err, arguments);
	}

}
